Hellman [2003] raises interesting challenges to categorical structuralism. He starts citing Awodey [1996] which, as Hellman sees, is not intended as a foundation for mathematics. It offers a structuralist framework which could denned in any of many different foundations. But Hellman says Awodey's work is 'naturally viewed in the context of Mac Lane's repeated claim that category theory provides an autonomous foundation for mathematics as an alternative to set theory' (p. 129). Most of Hellman's paper 'scrutinizes the formulation of category (...) theory' specifically in 'its alleged role as providing a foundation' (p. 130). I will also focus on the foundational question. Page numbers in parentheses are page references to Hellman [2003]. (shrink)

Linnebo and Pettigrew's critique in this journal of categorical foundations well emphasizes that the particulars of various categorical foundations matter, and that mathematical practice must be a major consideration. But several categorists named by the authors as proposing categorical foundations do not propose foundations, notably Awodey, and the article's description of current textbook practice seems inaccurate. They say that categorical foundations have justificatory autonomy if and only if mathematics can be justified simply by its practice. Do they seriously believe philosophers (...) may be able to justify some currently unpractised mathematics better than current practice justifies itself? (shrink)

The unifying theme of this issue is Plato’s dialectical view of mathematical progress and hypotheses. Besides provisional propositions, he calls concepts and goals also hypotheses. He knew mathematicians create new concepts and goals as well as theorems, and abandon many along the way, and erase the creative process from their proofs. So the hypotheses of mathematics necessarily change through use — unless Benson is correct that Plato believed mathematics could reach the unhypothetical goals of dialectic. Landry discusses Plato on mathematical (...) and philosophical problem solving. Arsen and White relate Plato’s philosophy to mathematics in his time, and to Aristotle. (shrink)